| Model: | wlan v.1 (MDP) |
| Parameter(s) | MAX_BACKOFF = 5, COL = 0 |
| Property: | cost_min (exp-reward) |
mono ./modest-fret-pi-lrtdp-master/FretLrtdp.exe wlan.5.jani --epsilon 1e-3 --props cost_min -E COL=0 --timeout 580
| Walltime: | 3.5455687046051025s |
| Return code: | 0 |
| Relative Error: | 0.0 |
wlan.5.jani:model: info: wlan.5 is an MDP model. wlan.5.jani: info: Need 15 bytes per state. Throw exception wlan.5.jani:properties[2]: warning: Computing minimum expected reward in property "cost_min" without checking for zero-reward end components. Peak memory usage: 64 MB Analysis results for wlan.5.jani Experiment COL=0 + Property cost_min Value: 7625 Time: 2.2 s